古森 雄一, 小野 寛晰『現代数理論理学序説』